Post-thesis Draft

Monte Carlo Semantics: Robust Inference and Logical Pattern Processing Based on Integrated Deep and Shallow Semantic Representations

This document was submitted to the University of Cambridge Computer Laboratory as part of the documentation required by first year PhD candidates comprising a thesis proposal (Bergmair, 2007a) and a first year report (this document). In addition, a thesis draft (Bergmair, 2007b) has been submitted to supplement the required material. – For readers other than the examiners of this PhD project, i...

Designing a thesis tele-supervision system for postgraduate medical sciences students

Introduction: Today, progressing science and technology atall domains, including education and research, will bring newopportunities to resolve the communication and interactionproblems. The aim of this study was to determine potential factorsaffecting the thesis supervision and provide a web-based solution.Methods: This is a developmental study conducted in two<br...

Perceptual Inference in Generative Models Thesis Excerpts DRAFT

Quantum Complexity Classes

This material is the final thesis of the one year International Master's Program, supported by the Vrije Universiteit, Amsterdam. I wish to thank my supervisor Harry Buhrman for fruitful discussions. I thank my second reader Femke van Ramsdonk for reading the draft of this thesis thoroughly.

Dependently Typed Programming with Domain-Specific Logics (Thesis Proposal DRAFT)

We propose a thesis defending the following statement: The logical notions of polarity and focusing provide a foundation for dependently typed programming with domain-specific logics, with applications to certified software and mechanized metatheory.